Lower Bounds for Probabilistic Space Complexity: Communication-Automata Approach

Multiplicative Linear Logic for Resource Transformation Nets p. 81 The Parameterized Complexity of Some Problems in Logic and Linguistics p. 89 Foundations of Proof Search Strategies Design in Linear Logic p. 101 On Extreme Points of Convex Compact Turing Located Set p. 114 Application of Typed Lambda Calculi in the Untyped Lambda Calculus p. 129 Classes with Pairwise Equivalent Enumerations p. 140 Strong Normalization in a Non-Deterministic Typed Lambda-Calculus p. 142 On Expressive Completeness of Modal Logic p. 153 Comparing Models of the Non-Extensional Typed Lambda-Calculus p. 164 Coalgebras and Approximation p. 173 Computational and Concurrency Models of Linear Logic p. 184 The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems p. 191 The Notion of Rank and Games p. 204 A Predictive Logic of Well-Founded Actions p. 218 Predictive Recurrence in Finite Types p. 227 Arity vs. Alternation in Second Order Logic p. 240 Hereditarily Sequential Functionals p. 253 Propositional Linear Temporal Logic and Language Homomorphisms p. 265 An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus p. 278